SPADES - a process algebra for discrete event simulation

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

SPADES: A System for Parallel-Agent, Discrete-Event Simulation

However, the simulation technology in use by, and designed for, the AI community often fails to take advantage of much of the work in the larger simulation community to produce stable, repeatable, and efficient simulations. I present SPADES (SYSTEM FOR PARALLEL-AGENT DISCRETE-EVENT SIMULATION) as a simulation substrate for the AI community. SPADES focuses on the agent as a fundamental simulatio...

متن کامل

JAPROSIM: A Java framework for Process Interaction Discrete Event Simulation

In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java programming language. JAPROSIM is an open source project developed for both academic and industrial purposes. It also merges process-interaction modeling structures with powerful java features in an intelligent way that enc...

متن کامل

SPaDES/Java: Object-Oriented Parallel Discrete-Event Simulatio

This paper describes the design, implementation and performance optimizations of SPaDES/Java, a processoriented discrete-event simulation library in Java that supports sequential and parallel simulation. Parallel event synchronization is facilitated through a hybrid carrier-null, demand-driven flushing conservative null message mechanism. Inter-processor message communication is coordinated by ...

متن کامل

A JAVA-BASED FRAMEWORK FOR DISCRETE EVENT SIMULATION A framework for Discrete Event Simulation and MOdeling

The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal is to provide a framework which supports an efficient implementation of simulation optimization projects, including heuristic optimum seeking procedures and parallel execution of experiments. It is written completely ...

متن کامل

Appointment process of open-heart surgery in Shahid Rajaei Heart Hospital using a discrete event simulation approach

Background: The waiting list is a list of selected patients in the surgical queue. If demand exceeds capacity, the waiting list grows rapidly, which may lead to unacceptable waiting for patients, especially those in need of acute medical care. Patients waiting for heart surgery are placed on the waiting list for surgery, and sometimes the waiting time is longer than patients expect. Reducing th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic and Computation

سال: 2000

ISSN: 0955-792X,1465-363X

DOI: 10.1093/logcom/10.1.3